Received: from virtual.bbc.co.uk (virtual.bbc.co.uk [132.185.132.199])
by odie.barnet.ac.uk (8.8.6/8.8.6) with ESMTP id KAA09278
for <willy@odie.barnet.ac.uk>; Tue, 23 Jun 1998 10:17:51 +0100
Received: from nic.funet.fi (nic.funet.fi [128.214.248.6])
by virtual.bbc.co.uk (8.8.5/8.8.5) with ESMTP id KAA20551
for <willy@bofh.ai>; Tue, 23 Jun 1998 10:45:39 +0100 (BST)
Received: from vger.rutgers.edu ([128.6.190.2]:61772 "EHLO vger.rutgers.edu" ident: "root") by nic.funet.fi with ESMTP id <10229-7151>; Tue, 23 Jun 1998 12:37:31 +0300
Received: by vger.rutgers.edu id <970892-22453>; Tue, 23 Jun 1998 05:17:33 -0400
Received: from red.csi.cam.ac.uk ([131.111.8.70]:51607 "EHLO red.csi.cam.ac.uk" ident: "exim") by vger.rutgers.edu with ESMTP id <970899-22453>; Tue, 23 Jun 1998 05:17:13 -0400
Received: from dmf20 (helo=localhost)
by red.csi.cam.ac.uk with local-smtp (Exim 1.92 #1)
id 0yoP13-0007RV-00; Tue, 23 Jun 1998 10:05:25 +0100
Date: Tue, 23 Jun 1998 10:05:24 +0100 (BST)
From: David Forbes <dmf20@hermes.cam.ac.uk>
X-Sender: dmf20@red.csi.cam.ac.uk
To: Philip Blundell <pb@nexus.co.uk>
cc: Ian Molton <mh120608@cr10m.staffs.ac.uk>,
ARMlinux mailing list <linux-arm@vger.rutgers.edu>